﻿#region Assembly mscorlib.dll, v4.0.30319
// C:\Program Files (x86)\Reference Assemblies\Microsoft\Framework\.NETFramework\v4.0\mscorlib.dll
#endregion

using System;
using System.Diagnostics;

namespace System.Diagnostics.Contracts
{
    /// Summary:
    ///     Marks a method as being the invariant method for a class.
    [Conditional("NEVER_USE")]
    [AttributeUsage(AttributeTargets.Method, AllowMultiple = false, Inherited = false)]
    public sealed class ContractInvariantMethodAttribute : Attribute
    {
        /// Summary:
        ///     Initializes a new instance of the System.Diagnostics.Contracts.ContractInvariantMethodAttribute
        ///     class.
        public ContractInvariantMethodAttribute() { }
    }
}
